Top-down synthesis of sorting algorithms (1992)

by K K Lau
Venue:The Computer Journal