Algebraic specification techniques and tools for software development the ACT approach - Claßen, Ingo; Ehrig, Hartmut 1944-2016; Wolz, Dietmar (AMAST series in computing, 1993)