SOSKOVA, A. An external approach to abstract data types I: computability on abstract data type. Ann. Sofia Univ. Fac. Math. and Inf., [S. l.], v. 87, p. 47–59, 1995. Disponível em: https://ftl5.uni-sofia.bg./index.php/fmi/article/view/404. Acesso em: 24 nov. 2024.