Jan Willem Klop Aart Middeldorp Yoshihito Toyama Roel C. de Vrijer 101-109 1994 49 Inf. Process. Lett. 2 db/journals/ipl/ipl49.html#KlopMTV94 http://dx.doi.org/10.1016/0020-0190(94)90034-5