Παραπομπή APA

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

Παραπομπή Chicago Style

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

Παραπομπή MLA

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