A relational theory of datatypes, Available via anonymous ftp from ftp://ftp.win.tue.nl in directory pub/math.prog.construction (1992)