| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Types for Proofs and Programs: International Workshop Types '94, Bastad, Sweden, June 6-10, 1994: Proceedings | 978-O-387-6O579-1 (O-387-6O579-7) | 1995 | Peter Dybjer · Bengt Nordstrom |
J.M. · J.M. Smith · J. S. · J. Smith · Jan Smith · M S. · M. Smith