Citação norma APA

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

Citação norma Chicago

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

Citação norma MLA

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

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.