Maybe this could be interesting to you. It was done by Peter Van Roy, of Concepts, Techniques, and Models of Computer Programming fame.

http://www.info.ucl.ac.be/~pvr/paradigms.html