APA (7th ed.) Citation

Boiten, E. (2003). Refinement in Z and object‐Z: Foundations and Advanced Applications. Journal of Logic & Computation, 13(2), 313.

Chicago Style (17th ed.) Citation

Boiten, Eerke. "Refinement in Z and Object‐Z: Foundations and Advanced Applications." Journal of Logic & Computation 13, no. 2 (2003): 313.

MLA (9th ed.) Citation

Boiten, Eerke. "Refinement in Z and Object‐Z: Foundations and Advanced Applications." Journal of Logic & Computation, vol. 13, no. 2, 2003, p. 313.