Wiebke Petersen Type Signature Induction with FCAType. 276-281 2006 CLA http://dx.doi.org/10.1007/978-3-540-78921-5_21 conf/cla/2006 db/conf/cla/cla2006.html#Petersen06