000 00313nam a22001337a 4500
008 170802b xxu||||| |||| 00| 0 eng d
020 _a0133290522
041 _aeng
080 _a004
100 _a32
101 _aSHKI
245 _aFORMAL SPECIFICATION OF PROGRAMMING LANGUAGES
_cPAGAN, F.G
942 _2udc
_cBK
999 _c22545
_d22545