Murakami, M. (1987). Proving partial correctness of guarded horn clauses programs.
Chicago-Zitierstil (17. Ausg.)Murakami, Masaki. Proving Partial Correctness of Guarded Horn Clauses Programs. Tokyo, Japan, 1987.
MLA-Zitierstil (9. Ausg.)Murakami, Masaki. Proving Partial Correctness of Guarded Horn Clauses Programs. 1987.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.