Prospects for Functional Programming in Software Engineering

Jean-Pierre Banâtre , Daniel Le Métayer , Simon B. Jones