APA (7th ed.) Citation

Casey, C. (1994). A programming approach to formal methods. McGraw-Hill.

Chicago Style (17th ed.) Citation

Casey, Chris. A Programming Approach to Formal Methods. London: McGraw-Hill, 1994.

MLA (9th ed.) Citation

Casey, Chris. A Programming Approach to Formal Methods. McGraw-Hill, 1994.