Stephen L. Bloom Zoltán Ésik 245-302 1992 3 Int. J. Found. Comput. Sci. 3 db/journals/ijfcs/ijfcs3.html#BloomE92 http://dx.doi.org/10.1142/S0129054192000164