http://www.cs.kent.ac.uk/people/staff/dat/miranda/whyfp90.pdfLinkShared 12 January 2011cs.kent.ac.uk ↗