Muir: a tool for language design - Winograd, Terry (CSLI, 1987)