APA (7th ed.) Citation

(1996). Formal systems specification: The RPC-memory specification case study. Springer. https://doi.org/10.1007/BFb0024423

Chicago Style (17th ed.) Citation

Formal Systems Specification: The RPC-memory Specification Case Study. Berlin u.a: Springer, 1996. https://doi.org/10.1007/BFb0024423.

MLA (9th ed.) Citation

Formal Systems Specification: The RPC-memory Specification Case Study. Springer, 1996. https://doi.org/10.1007/BFb0024423.

Warning: These citations may not always be 100% accurate.