Practical theory of programming - Hehner E C R (N Y Springer Verlag, 1993)
Keywords: Computer programming