Cita APA (7a ed.)

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

Cita Chicago Style (17a ed.)

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

Cita MLA (9a ed.)

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