TY  - BOOK
AU  - Demetrovics J, Knuth Elod & Rado Peter
TI  - Computer-Aided Specification Techniques
SN  - 9789814307789
PB  - World Scientific
KW  - Computer Science
UR  - https://www.worldscientific.com/worldscibooks/10.1142/0166#t=toc
ER  -