Formal methods and software engineering by Huaikou Miao, Chris George | Lex | Lex