Concepts, techniques, and models of computer programming - Roy, Peter