Hoare, C. (1987). Data Refinement in a Categorical Setting.
Chicagoスタイル(17版)引用形式Hoare, C. Data Refinement in a Categorical Setting. 1987.
MLA(9版)引用形式Hoare, C. Data Refinement in a Categorical Setting. 1987.
警告: この引用は必ずしも正確ではありません.
APA(7版)引用形式