Orna Grumberg Nissim Francez Johann A. Makowsky Willem P. de Roever 83-102 Information and Control July/August 1985 66 1/2 db/journals/iandc/iandc66.html#GrumbergFR85 http://dx.doi.org/10.1016/S0019-9958(85)80014-0