Eberhard Becker Teo Mora Maria Grazia Marinari Carlo Traverso The Shape of the Shape Lemma. 129-133 1994 ISSAC http://doi.acm.org/10.1145/190347.190382 db/conf/issac/issac94.html#BeckerMMT94