Muhammad Taimoor Khan and Wolfgang Schreiner, Towards the Formal Specification and Verification of Maple Programs(2012) ↩