APA Citation

Casey, C. (1994). A Programming approach to formal methods. England, London: McGraw-Hill Book Co.

Chicago Style Citation

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

MLA Citation

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

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