TY - BOOK AU - Schneider, H. J TI - Formal models and practical tools for information systems design SN - 0444853944 AV - Z 699.A1 For PY - 1979/// CY - Amsterdam PB - North-Holland Publishing Co KW - FORMAL LANGUAGES--CONGRESSES KW - COMPUTER PROGRAMMING--CONGRESSES KW - INFORMATION STORAGE AND RETRIEVAL SYSTEMS--CONGRESSES ER -