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

Puppis, G. (2010). Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems. Springer Berlin Heidelberg : Imprint: Springer.

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

Puppis, Gabriele. Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2010.

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

Puppis, Gabriele. Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems. Springer Berlin Heidelberg : Imprint: Springer, 2010.