@Edent Bring back APL (and for that matter the Vienna Development Method & Z for specification)