3 ms·
"Tossing Algebraic Flowers down the Great Divide": http://cseweb.ucsd.edu/~goguen/pps/tcs97.pdf http://cseweb.ucsd.edu/~goguen/pps/tcs97.pdf
by user2994cb 12y ago
"Tossing Algebraic Flowers down the Great Divide":
http://cseweb.ucsd.edu/~goguen/pps/tcs97.pdf http://cseweb.ucsd.edu/~goguen/pps/tcs97.pdf