Formal methods in databases and software engineering : proceedings of the workshop on formal methods in databases and software engineering, Montreal, Canada, 15-16 May 1992 /
Alagar, Vangalur S.,1940-
Lakshmanan, Laks V. S.
Sadri, F.
British Computer Society.
London : Springer-Verlag,
c1993.
Published in collaboration with the British Computer Society.