APA(7版)引用形式

Grundy, J., Melham, T., & O'Leary, J. (2006). A Reflective Functional Language for Hardware Design and Theorem Proving.

Chicagoスタイル(17版)引用形式

Grundy, J., T. Melham, , J. O'Leary. A Reflective Functional Language for Hardware Design and Theorem Proving. 2006.

MLA(9版)引用形式

Grundy, J., et al. A Reflective Functional Language for Hardware Design and Theorem Proving. 2006.

警告: この引用は必ずしも正確ではありません.