A relational theory of datatypes. Available from URL http://www.win.tue.nl/win/cs/wp/papers/papers.html (1992)

by C S P