APA (7th ed.) Citation

(1992). A calculus of refinements: Its class of models.

Chicago Style (17th ed.) Citation

A Calculus of Refinements: Its Class of Models. Edinburgh, 1992.

MLA (9th ed.) Citation

A Calculus of Refinements: Its Class of Models. 1992.

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