Juliana Küster Filipe Kung-Kiu Lau Mario Ornaghi Kenji Taguchi Hirokazu Yatsu Alan Wills Formal specification of Catalysis frameworks. 180-187 2000 conf/apsec/2000 APSEC http://csdl.computer.org/comp/proceedings/apsec/2000/0915/00/09150180abs.htm db/conf/apsec/apsec2000.html#FilipeLOTYW00