Michel Bidoit Alexandre Boisseau Algebraic Abstractions. 21-47 2001 conf/wadt/2001 WADT http://link.springer.de/link/service/series/0558/bibs/2267/22670021.htm db/conf/wadt/wadt2001.html#BidoitB01