Introduction to algebraic specification. Part 2: from classical view to foundations of system specifications

• Authors:

• H. Ehrig;B. Mahr;F. Orejas

• Affiliations:

• -;-;-

• Venue:
• The Computer Journal - Special issue on formal methods: part 1
• Year:
• 1992