Xavier Gouy Ying Jiang 252-257 Inf. Comput. June 1995 119 2 db/journals/iandc/iandc119.html#GouyJ95 http://dx.doi.org/10.1006/inco.1995.1089