| title | ISBN-13 (ISBN-10) | year of publication |
|---|---|---|
| Paragon: A Language Using Type Hierarchies for the Specification, Implementation & Selection of Abstract Data Types | 978-O-387-15212-7 (O-387-15212-1) | 1985 |
M S. · M.S.S. · M. Sherman · M. Steven · Mark S · Mark S. Sherman · Mark Sherman · Mark Steven · S S · S. Sherman · Steven S.