| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| The Deductive Foundations of Computer Programming | 978-O-2O1-54886-O (O-2O1-54886-O) | 1993 | Zohar Manna |
Richard W. · Richard Walden · Richard Walton · Richard Weldon · Richard Wilding · Richard Wildman · Richard Wilton · Richard Woldendorp