Nagy, Péter Boldizsár (1996) Az Estelle specifikációs rendszer, és használatának bemutatása példaprogramok segítségével. BA/Bsc, József Attila Tudományegyetem.