APA (7th ed.) Citation

He, J., & Hoare, C. A. R. (1990). Data refinement in a categorical setting.

Chicago Style (17th ed.) Citation

He, Jifeng, and Charles A. R. Hoare. Data Refinement in a Categorical Setting. Oxford, 1990.

MLA (9th ed.) Citation

He, Jifeng, and Charles A. R. Hoare. Data Refinement in a Categorical Setting. 1990.