Formal techniques in artificial intelligence : : a sourcebook - Banerji, R. B. (Studies in computer science and artificial intelligence ;, 1990)