Freefinement.

Stephan van Staden, Cristiano Calcagno, Bertrand Meyer

Browse the full POPL paper archive.