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