Yuri Gurevich The Logic in computer science Column. 93-100 1989 38 Bulletin of the EATCS db/journals/eatcs/eatcs38.html#Gurevich89a