An informal approach to formal specifications
Antonio Luz Furtado · ACM SIGMOD Record · 1983
An attempt is made to help bridging the gap between theoretical research and the real practice of data base specification. Some fundamental problems that must be addressed are described and a number of formalisms that propose to attack them are overviewed. The case pro and against the use of formal specifications is presented.