Cita APA (7a ed.)

Sin autor, Heitmeyer, C., & Mandrioli, D. (1996). Formal methods for real-time computing (Repr. ed.). [S.n.].

Cita Chicago Style (17a ed.)

Sin autor, Constance Heitmeyer, y Dino Mandrioli. Formal Methods for Real-time Computing. Repr. ed. Chichester: [S.n.], 1996.

Cita MLA (9a ed.)

Sin autor, et al. Formal Methods for Real-time Computing. Repr. ed. [S.n.], 1996.