Practical theory of programming - Hehner Eric C R (New York Springer Verlag, 1993)
Keywords: Programming; Computer Science