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