Jules Desharnais, Nazim H. Madhavji. Abstract Relational Specifications. In Manfred Broy, editor, Programming concepts and methods: Proceedings of the IFIP Working Group 2.2, 2.3 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel, 2-5 April, 1990. pages 267-284, North-Holland, 1990.
No references recorded for this publication.
No citations of this publication recorded.