Παραπομπή σε μορφή APA (7η εκδ.)

Gray, D. (1999). Introduction to the formal design of real-time systems. Springer.

Παραπομπή σε μορφή Chicago (17η εκδ.)

Gray, David. Introduction to the Formal Design of Real-time Systems. London: Springer, 1999.

Παραπομπή σε μορφή MLA (9th εκδ.)

Gray, David. Introduction to the Formal Design of Real-time Systems. Springer, 1999.