Dipak L. Chaudhari, Om P. Damani: Introducing Formal Methods via Program Derivation. ITiCSE 2015: 266-271