Foundation of program verification - Loeckx, Jacques (John Wiley & Sons, 1983)