Algoritmični jezik za opis problemov analize in sinteze avtomatov : doktorska disertacija - Kolbezen, Peter (Fakulteta za elektrotehniko, 1974)