Citazione Stile APA (7a Edizione)
Kloos, C., & Damm, W. (1997). Practical formal methods for hardware design. Springer Verlag.
Citazione stile Chigago Style (17a edizione)
Kloos, C.Delgado, e W. Damm. Practical Formal Methods for Hardware Design. Berlin: Springer Verlag, 1997.
Citatione MLA (9a ed.)
Kloos, C.Delgado, e W. Damm. Practical Formal Methods for Hardware Design. Springer Verlag, 1997.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.