Recent Trends in Algebraic Development Techniques 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers Fiadeiro, José Luiz Heftet / 2007 / Engelsk
Formal Models of Agents ESPRIT Project ModelAge Final Report Selected Papers Meyer, John-Jules C. Heftet / 2000 / Engelsk
