APA (7th ed.) Citation

Levy Díaz, J. (1994). The calculus of refinements, a formal specification model based on inclusions. Universitat Politècnica. Facultat d'Informàtica.

Chicago Style (17th ed.) Citation

Levy Díaz, Jordi. The Calculus of Refinements, a Formal Specification Model Based on Inclusions. Barcelona: Universitat Politècnica. Facultat d'Informàtica, 1994.

MLA (9th ed.) Citation

Levy Díaz, Jordi. The Calculus of Refinements, a Formal Specification Model Based on Inclusions. Universitat Politècnica. Facultat d'Informàtica, 1994.