| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Data Refinement: Model-Oriented Proof Methods and their Comparison | 978-O-521-6417O-8 (O-521-6417O-5) | 1998 | Willem-Paul de Roever |
K Englert · K. English · Kai Engel · Kai Engelkamp · Kai Engelke · Kai Engelmann · Kay Engelfeld · Kay English · Kaye England