00591nam a2200229 a 4500 000028748 25910 20171030145630.0 171030s1985 LTT 004,21 DE-J Demetrovics, János Computer-aided specification techniques János Demetrovics, Előd Knuth, Péter Radó. World Scientific 1985 VSVN LTT From the UDN01 Monograph Printed language Mạng thư viện Đại học Đà Nẵng