Independently, Paterson [21]* has developed a calculus of functional programs similar in contents but very dissimilar in appearance (like many Australian animals) to the work referred to above.