Hartmut Ehrig Francesco Parisi-Presicce High-Level-Replacement Systems for Equational Algebraic Specifications. 3-20 1992 conf/alp/1992 ALP db/conf/alp/alp92.html#EhrigP92 https://doi.org/10.1007/BFb0013816