From abstract data types to logical frameworks | Publicación