(1992). A calculus of refinements: Its class of models.
Chicago-Zitierstil (17. Ausg.)A Calculus of Refinements: Its Class of Models. Edinburgh, 1992.
MLA-Zitierstil (9. Ausg.)A Calculus of Refinements: Its Class of Models. 1992.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.