Formal foundations of correct programming - Novitzká, Valerie (Elfa, 1999)