Design theory and computer science Processes and methodology of computer systems design - Dasgupta Subrata (Cambridge tracts in theoretical computer science, 1991)