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

Brim, L. Component-interaction automata as a verification-oriented component-based system specification. Software engineering notes..

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

Brim, Lubo?. "Component-interaction Automata as a Verification-oriented Component-based System Specification." Software Engineering Notes. .

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

Brim, Lubo?. "Component-interaction Automata as a Verification-oriented Component-based System Specification." Software Engineering Notes., .

Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.