Paulo A. S. Veloso, Antonio L. Furtado. Towards simpler and yet complete formal specificapions. In Börje Langefors, Alex A. Verrijn-Stuart, Giampio Bracchi, editors, Trends in Information Systems, an anthology of papers from conferences of the IFIP Technical Committee 8 "Information Systems" to commemorate their tenth anniversary. pages 257-271, North-Holland, 1986.
@incollection{VelosoF86,
title = {Towards simpler and yet complete formal specificapions},
author = {Paulo A. S. Veloso and Antonio L. Furtado},
year = {1986},
researchr = {https://researchr.org/publication/VelosoF86},
cites = {0},
citedby = {0},
pages = {257-271},
booktitle = {Trends in Information Systems, an anthology of papers from conferences of the IFIP Technical Committee 8 "Information Systems" to commemorate their tenth anniversary},
editor = {Börje Langefors and Alex A. Verrijn-Stuart and Giampio Bracchi},
publisher = {North-Holland},
isbn = {978-0-444-87949-3},
}