FME 2001: Formal Methods for Increasing Software Productivity International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings Oliveira Jose N. Heftet / 2001 / Engelsk
Advanced Functional Programming Third International School, AFP'98, Braga, Portugal, September 12-19, 1998, Revised Lectures Swierstra S. Doaitse Heftet / 1999 / Engelsk
