BerkeleyDTM historical_context design_theory_methods outline IBIS amanuensis redliner spacepen mousehaus tangible_mouse_haus MUD computation science_design conclusions
computation as: a language for expressing theories
a laboratory for conducting experiments
for example
Macysma: a language for doing mathematics
why not design?