GOTOs, a study in the algebraic specification of programming languages (1981)