HASCASL: Towards Integrated Specification and Development of Functional Programs.

Lutz Schröder Till Mossakowski HASCASL: Towards Integrated Specification and Development of Functional Programs. 99-116 2002 conf/amast/2002 AMAST http://link.springer.de/link/service/series/0558/bibs/2422/24220099.htm db/conf/amast/amast2002.html#SchroderM02