Overview of algebraic specification languages, enviroments and tools, and algebraic specifications of software systems(Part 3)

Hartmut Ehrig, Ingo Claßen. Overview of algebraic specification languages, enviroments and tools, and algebraic specifications of software systems(Part 3). Bulletin of the EATCS, 41:145-153, 1990.

Abstract

Abstract is missing.