*Quicksort* by Hoare: https://watermark.silverchair.com/050010.pdf?token=AQECAHi...

		brudgers on Nov 14, 2017 \| parent \| context \| favorite \| on: Ask HN: What are some interesting papers in CS for... Quicksort by Hoare: https://watermark.silverchair.com/050010.pdf?token=AQECAHi20... Notation as a Tool of Thought, Iverson: http://www.eecg.toronto.edu/~jzhu/csc326/readings/iverson.pd...