Seshadhri Comandur Anil Seth Somenath Biswas RAM Simulation of BGS Model of Abstract-state Machines. 175-185 2007 77 Fundam. Inform. 1-2 http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=77&issue=1&spage=175 db/journals/fuin/fuin77.html#ComandurSB07