Steve Cook John Daniels Lets get Formal. 22-24, 64 1994 7 JOOP 4 db/journals/joop/joop7.html#CookD94a