Toward formal development of programs from algebraic specifications: implementations revisited

• Authors:

• D. Sannella;A. Tarlecki

• Affiliations:

• -;-

• Venue:
• The International Joint Conference on theory and practice of software development on TAPSOFT '87
• Year:
• 1987