NATO Advanced Study Institute on Constructive Methods in Computing Science Marktoberdorf, Germany, & Broy, M. (1989). Constructive methods in computing science: International summer school directed by F.L. Bauer ... [et al.]. Springer-Verlag.
Παραπομπή σε μορφή Chicago (17η εκδ.)NATO Advanced Study Institute on Constructive Methods in Computing Science Marktoberdorf, Germany, και M. Broy. Constructive Methods in Computing Science: International Summer School Directed by F.L. Bauer ... [et Al.]. Berlin: Springer-Verlag, 1989.
Παραπομπή σε μορφή MLA (8th εκδ.)NATO Advanced Study Institute on Constructive Methods in Computing Science Marktoberdorf, Germany, και M. Broy. Constructive Methods in Computing Science: International Summer School Directed by F.L. Bauer ... [et Al.]. Springer-Verlag, 1989.
