APA (7th ed.) Citation

Broy, M. (1989). Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare. Springer Berlin Heidelberg.

Chicago Style (17th ed.) Citation

Broy, Manfred. Constructive Methods in Computing Science: International Summer School Directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare. Berlin, Heidelberg: Springer Berlin Heidelberg, 1989.

MLA (9th ed.) Citation

Broy, Manfred. Constructive Methods in Computing Science: International Summer School Directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare. Springer Berlin Heidelberg, 1989.