Your search returned the following 2 documents:

2. Combining Algebra and Universal Algebra in First-Order Theorem Proving: The Case of Commutative Rings
   Leo Bachmair, Harald Ganzinger, and Jürgen Stuber
   In: Recent Trends in Data Type Specification. 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May/June 1994, 1995, 1-29
   
1. Formalization of the Development Process
   David A. Basin and Bernd Krieg-Brückner
   In: Algebraic foundations of systems specification, 1999, 521-562