Marc Gemis Jan Paredaens An Object-Oriented Pattern Matching Language. 339-355 1993 conf/isotas/1993 ISOTAS db/conf/isotas/isotas1993.html#GemisP93