From informal requirements to a running program: a case study in algebraic specification and transformational programming

• Authors:

• H. Partsch

• Affiliations:

• Katholieke Univ. Nijmegen, Nijmegen, The Netherlands

• Venue:
• Science of Computer Programming
• Year:
• 1989