| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Formal Methods in Databases and Software Engineering: Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, | 978-O-387-19812-5 (O-387-19812-1) | 1993 | Workshop on Formal Methods in Databases and Software Engineering · Laks V. S. Lakshmanan · Vangalur S. Alagar · British Computer Society |