000 00375nam a2200157 4500
082 _a005.131 PIN-F
100 _aPin, J E,
_eEditor
245 _aFormal properties of finite automata and applications
_cJ E Pin
250 _a
260 _aSpringer-Verlag, Berlin
_c1989
300 _a
490 _a
650 _aSymbolic logic
700 _a
_eEditor
942 _cBK
999 _c444915
_d444915