Formal methods in artificial intelligence - Ramsay Allan 1953- (Cambridge tracts in theoretical computer science, 1991)