Poprawność współbieznych systemów oprogramowania - Szmuc, Tomasz (Zeszyty Naukowe AGH im. S. Staszica, 1989)