(1996). Formal systems specification: The RPC-memory specification case study. Springer. https://doi.org/10.1007/BFb0024423
Chicago-Zitierstil (17. Ausg.)Formal Systems Specification: The RPC-memory Specification Case Study. Berlin u.a: Springer, 1996. https://doi.org/10.1007/BFb0024423.
MLA-Zitierstil (9. Ausg.)Formal Systems Specification: The RPC-memory Specification Case Study. Springer, 1996. https://doi.org/10.1007/BFb0024423.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.