Integrated Formal Methods by Hutchison, David - undifferentiated | Lex | Lex