János Demetrovics, Elöd Knuth, Péter Radó. Computer-Aided Specification Techniques. Volume 1 of World Scientific Series in Computer Science, World Scientific, 1986. [doi]
@book{wsscs-DemetrovicsKR86, title = {Computer-Aided Specification Techniques}, author = {János Demetrovics and Elöd Knuth and Péter Radó}, year = {1986}, doi = {10.1142/0166}, url = {http://dx.doi.org/10.1142/0166}, researchr = {https://researchr.org/publication/wsscs-DemetrovicsKR86}, cites = {0}, citedby = {0}, volume = {1}, series = {World Scientific Series in Computer Science}, publisher = {World Scientific}, isbn = {978-981-4507-98-1}, }