APA Edition Citation

Neuhold, E. J., & Chroust, G. (1985). Formal models in programming. North-Holland Publishing Company.

Chicago Edition Citation

Neuhold, E J., and G. Chroust. Formal Models in Programming. Amsterdam: North-Holland Publishing Company, 1985.

MLA Edition Citation

Neuhold, E J., and G. Chroust. Formal Models in Programming. North-Holland Publishing Company, 1985.