Manfred Droste Guo-Qiang Zhang Bifinite Chu Spaces. 73-74 2007 CAI http://dx.doi.org/10.1007/978-3-540-75414-5_4 conf/cai/2007 db/conf/cai/cai2007.html#DrosteZ07