He, J., & Hoare, C. A. R. (1990). Data refinement in a categorical setting.
Chicago-Zitierstil (17. Ausg.)He, Jifeng, und Charles A. R. Hoare. Data Refinement in a Categorical Setting. Oxford, 1990.
MLA-Zitierstil (9. Ausg.)He, Jifeng, und Charles A. R. Hoare. Data Refinement in a Categorical Setting. 1990.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.