Stefano Ceri Stefano Crespi-Reghizzi Andrea Di Maio Luigi Lavazza Software Prototyping by Relational Techniques: Experiences with Program Construction Systems. 1597-1609 http://doi.ieeecomputersociety.org/10.1109/32.9048 1988 14 IEEE Trans. Software Eng. 11 db/journals/tse/tse14.html#CeriCML88