Andrew Gelsey Automated Reasoning About Machines. 1-53 1995 74 Artif. Intell. 1 db/journals/ai/ai74.html#Gelsey95 http://dx.doi.org/10.1016/0004-3702(94)00003-J