Theory and Formal Methods 1993 häftadEngelska, 1993