The essence of program designDouglas Bell, Ian Morrey, John Pugh - Bell, Douglas (Prentice Hall, 1997)