Design theory and computer science : - Dasgupta, Subrata (Cambridge tracts in theoretical computer science ;, 1991)