APA (7th ed.) Citation

Návrat, P., & Dromey, R. G. Program derivation: The development of programs from specification international computer science series.

Chicago Style (17th ed.) Citation

Návrat, Pavol, and R. G. Dromey. Program Derivation: The Development of Programs from Specification International Computer Science Series.

MLA (9th ed.) Citation

Návrat, Pavol, and R. G. Dromey. Program Derivation: The Development of Programs from Specification International Computer Science Series.

Warning: These citations may not always be 100% accurate.