1. The DAML Services Coalition. DAML-S: Semantic Markup For Web Services. In Proceedings of the International Semantic Web Workshop, 2001
2. Frank Huch. Verification of Erlang Programs using Abstract Interpretation and Model Checking. ACM International Conference of Functional Programming 1999.
3. Simon Peyton Jones and John Hughes, editors. Haskell 98: A Non-strict, Purely Functional Language http://www.haskell.org/onlinereport/
4. Lect Notes Comput Sci;P. Wadler,1995
5. Lect Notes Comput Sci;F. Huch,2000