FME '93: Industrial-Strength Formal Methods - häftad, Engelska, 1993