Carlo Ghezzi Andrea Mocci Mattia Monga Efficient recovery of algebraic specifications for stateful components. 98-105 2007 IWPSE https://doi.org/10.1145/1294948.1294972 conf/iwpse/2007 db/conf/iwpse/iwpse2007.html#GhezziMM07