| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Designing Correct Circuits: Proceedings of the Second Ifip Wg 10.2/Wg 10.5 Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January, 199 ... a, Computer Science and Technology, a-5) | 978-O-444-89335-2 (O-444-89335-O) | 1992 | Ifip Wg10.2 ยท Jorgen Staunstrup |