A fast pattern matching algorithm derived by transformational and assertional reasoning
scientific article; zbMATH DE number 4143420