Home›Books›Martin C. HensonMartin C. HensonNo biography available.Works (2)Logics of specification languagesElements of functional languages