Real-time simulation of a set machine on a ram (1989)

by R Paige
Venue:Computing and Information, volume II of ICCI 89