Man-lai Tse Wing-hang Wong Ho-Fung Leung Programming with Communicating Nondeterministic Logic Objects. 556-558 1996 conf/ispan/1996 ISPAN http://doi.ieeecomputersociety.org/10.1109/ISPAN.1996.509042 db/conf/ispan/ispan1996.html#TseWL96