| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Superconductivity and Particle Detection: Proceedings of the International Workshop, Toledo, Spain, 20-24 April 1994 | 978-981-O2-2OO6-8 (981-O2-2OO6-5) | 1995 | A. Morales · International Workshop on Logic Program Synthesis and Transformation · G. Waysand |