Bonsangue, M. M., & Kok, J. N. (1992). Semantics, orderings and recursion in the weakest precondition calculus.
Chicago-Zitierstil (17. Ausg.)Bonsangue, Marcello M., und Joost N. Kok. Semantics, Orderings and Recursion in the Weakest Precondition Calculus. Amsterdam, 1992.
MLA-Zitierstil (9. Ausg.)Bonsangue, Marcello M., und Joost N. Kok. Semantics, Orderings and Recursion in the Weakest Precondition Calculus. 1992.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.