Formal foundations of correct programming. - Novitzká, Valéria (Košice : Elfa, spol. s r.o., 1999)
Keywords: programovanie; základy; monografie; monografie