APA-Zitierstil (7. Ausg.)

Davie, B. S., & Borrione, D. (1987). From HDL descriptions to guaranteed correct circuit designs: Proceedings of the IFIP WG 10.2 working conf., Grenoble, France, 9 - 11 Sept., 1986 ([1st ed.].). North-Holland Publishing.

Chicago-Zitierstil (17. Ausg.)

Davie, Bruce S., und D. Borrione. From HDL Descriptions to Guaranteed Correct Circuit Designs: Proceedings of the IFIP WG 10.2 Working Conf., Grenoble, France, 9 - 11 Sept., 1986. [1st ed.]. Amsterdam: North-Holland Publishing, 1987.

MLA-Zitierstil (9. Ausg.)

Davie, Bruce S., und D. Borrione. From HDL Descriptions to Guaranteed Correct Circuit Designs: Proceedings of the IFIP WG 10.2 Working Conf., Grenoble, France, 9 - 11 Sept., 1986. [1st ed.]. North-Holland Publishing, 1987.