APA (7th ed.) Zitazioa

Formal Methods in System Design. Springer US.

Chicago Style (17th ed.) Zitazioa

Formal Methods in System Design. Springer US.

MLA (9th ed.) Zitazioa

Formal Methods in System Design. Springer US.

Kontuz: berrikusi erreferentzia hauek erabili aurretik.