Ralph Tindell Covering Morphisms and Unique Minimal D-Schemes. 101-112 1991 10 Acta Cybern. 1-2 http://www.inf.u-szeged.hu/kutatas/actacybernetica/vol10n12/tindell/tindell.xml db/journals/actaC/actaC10.html#Tindell91