Formal techniques in artificial intelligence a sourcebook (North-Holland, 1990)