Antoniou, G., Program modules and their verification, 210-221, 1991, Εκδόσεις Νέων Τεχνολογιών,