Grundy, J., Melham, T., & O'Leary, J. (2006). A Reflective Functional Language for Hardware Design and Theorem Proving.
Չիկագոյի ոճի (17րդ խմբ.) մեջբերումGrundy, J., T. Melham, and 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.
Զգուշացում. այս մեջբերումները միշտ չէ, որ կարող են 100% ճշգրիտ լինել.