Breugel, F. v. (1993). Relating state transformation semantics and predicate transformer semantics for parallel programs.
Chicago-Zitierstil (17. Ausg.)Breugel, Franck van. Relating State Transformation Semantics and Predicate Transformer Semantics for Parallel Programs. Amsterdam, 1993.
MLA-Zitierstil (9. Ausg.)Breugel, Franck van. Relating State Transformation Semantics and Predicate Transformer Semantics for Parallel Programs. 1993.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.