Concepts, techniques, and models of computer programming / by Peter Van Roy ; Seif Haridi