@Article{ Lau:92, Author = "K.-K. Lau", Title = "Top-down Synthesis of Sorting Algorithms", Journal = "The Computer Journal", Volume = "35", Year = "1992", Pages = "A001-A007" }