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

(2009). Teaching formal methods: Second International Conference, TFM 2009, Eindhoven, the Netherlands, November 2-6, 2009, proceedings / Jeremy Gibbons, José Nuno Oliveira (eds.).

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

Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, the Netherlands, November 2-6, 2009, Proceedings / Jeremy Gibbons, José Nuno Oliveira (eds.). 2009.

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

Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, the Netherlands, November 2-6, 2009, Proceedings / Jeremy Gibbons, José Nuno Oliveira (eds.). 2009.