Neuhold, E. J., & Chroust, G. (1985). Formal models in programming. North-Holland Publishing Company.
Trích dẫn kiểu ChicagoNeuhold, E J., và G. Chroust. Formal Models in Programming. Amsterdam: North-Holland Publishing Company, 1985.
Trích dẫn MLANeuhold, E J., và G. Chroust. Formal Models in Programming. North-Holland Publishing Company, 1985.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.