APA (7th ed.) Citation

Broy, M. (1987). Logic of Programming and Calculi of Discrete Design: 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. Logic of Programming and Calculi of Discrete Design: International Summer School Directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare. Berlin, Heidelberg: Springer Berlin Heidelberg, 1987.

MLA (9th ed.) Citation

Broy, Manfred. Logic of Programming and Calculi of Discrete Design: International Summer School Directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare. Springer Berlin Heidelberg, 1987.