CITATION STYLE
Miglioli, P., Moscato, U., & Ornaghi, M. (1989). Semi-constructive formal systems and axiomatization of abstract data types. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 351 LNCS, pp. 337–351). Springer Verlag. https://doi.org/10.1007/3-540-50939-9_142
Mendeley helps you to discover research relevant for your work.