%0 Book %1 series/wsscs/DemetrovicsKR86 %A Demetrovics, János %A Knuth, Elöd %A Radó, Péter %B World Scientific Series in Computer Science %D 1986 %I World Scientific %K dblp %P 1-128 %T Computer-Aided Specification Techniques %V 1 %@ 978-981-4507-98-1

@book{series/wsscs/DemetrovicsKR86, added-at = {2015-07-13T00:00:00.000+0200}, author = {Demetrovics, János and Knuth, Elöd and Radó, Péter}, biburl = {https://www.bibsonomy.org/bibtex/21700b76ff4683fd1b5dbe9a7ab1a50d7/dblp}, ee = {http://dx.doi.org/10.1142/0166}, interhash = {6a29201077ce07fb89a5e02316eccdd6}, intrahash = {1700b76ff4683fd1b5dbe9a7ab1a50d7}, isbn = {978-981-4507-98-1}, keywords = {dblp}, pages = {1-128}, publisher = {World Scientific}, series = {World Scientific Series in Computer Science}, timestamp = {2015-07-14T11:34:34.000+0200}, title = {Computer-Aided Specification Techniques}, volume = 1, year = 1986 }