Andrea Asperti Simone Martini 1-79 Inf. Comput. July 1992 99 1 db/journals/iandc/iandc99.html#AspertiM92 http://dx.doi.org/10.1016/0890-5401(92)90024-A