"Functional Programming with Miranda", Holyer, Pitman Press 0-273-03453-7.

Languages mentioned

• Miranda {1985}