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