Žagar, D. (1995). Metode provjere komunikacijskih protokola temeljene na modelu automata: Metode provjere komunikacijskih protokola temeljene na modelu automata : magistarski rad (1. izd.). Zagreb: Fakultet elektrotehnike i računarstva - Zagreb.
Chicago stil citiranjaŽagar, Drago. Metode provjere komunikacijskih protokola temeljene na modelu automata: Metode provjere komunikacijskih protokola temeljene na modelu automata : magistarski rad. 1. izd. Zagreb: Fakultet elektrotehnike i računarstva - Zagreb, 1995.
MLA stil citiranjaŽagar, Drago. Metode provjere komunikacijskih protokola temeljene na modelu automata: Metode provjere komunikacijskih protokola temeljene na modelu automata : magistarski rad. 1. izd. Zagreb: Fakultet elektrotehnike i računarstva - Zagreb, 1995.