A normal form for structured algebraic specifications - Breu, Ruth (1989)