Poprawność współbieznych systemów oprogramowania - Szmuc, Tomasz (Kraków : Akademia Górniczo-Hutnicza im. S. Staszica, 1989)