"Tossing Algebraic Flowers down the Great Divide":

http://cseweb.ucsd.edu/~goguen/pps/tcs97.pdf