Derivation of sorting algorithms from a specification

• Authors:

• R. G. Dromey

• Affiliations:

• Griffith University, Nathan, Australia

• Venue:
• The Computer Journal
• Year:
• 1987