Citação norma APA
Vytopil, J. (1991). Formal techniques in real-time and fault-tolerant systems: Konf. Nijmegen, Netherlands, 8.- 10. Jan. 1992 (1.vyd.). Springer Verlag.
Citação norma Chicago
Vytopil, J. Formal Techniques in Real-time and Fault-tolerant Systems: Konf. Nijmegen, Netherlands, 8.- 10. Jan. 1992. 1.vyd. Berlin: Springer Verlag, 1991.
Citação norma MLA
Vytopil, J. Formal Techniques in Real-time and Fault-tolerant Systems: Konf. Nijmegen, Netherlands, 8.- 10. Jan. 1992. 1.vyd. Springer Verlag, 1991.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.