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.
@inproceedings{DesharnaisM90,
title = {Abstract Relational Specifications},
author = {Jules Desharnais and Nazim H. Madhavji},
year = {1990},
researchr = {https://researchr.org/publication/DesharnaisM90},
cites = {0},
citedby = {0},
pages = {267-284},
booktitle = {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},
editor = {Manfred Broy},
publisher = {North-Holland},
isbn = {0-444-88545-5},
}