Cita APA

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

Citación estilo Chicago

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

Cita MLA

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