APA-Zitierstil (7. Ausg.)

(1990). Formal techniques in artificial intelligence: A sourcebook. North-Holland.

Chicago-Zitierstil (17. Ausg.)

Formal Techniques in Artificial Intelligence: A Sourcebook. Amsterdam u.a: North-Holland, 1990.

MLA-Zitierstil (9. Ausg.)

Formal Techniques in Artificial Intelligence: A Sourcebook. North-Holland, 1990.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.