APA (7th ed.) Citation

Kelemen, J., Dijkstra, E. W., & Scholten, C. S. Predicate calculus and program semantics.

Chicago Style (17th ed.) Citation

Kelemen, Jozef, E. W. Dijkstra, and C. S. Scholten. Predicate Calculus and Program Semantics.

MLA (9th ed.) Citation

Kelemen, Jozef, et al. Predicate Calculus and Program Semantics.