[1] Logical Foundations of Functional Programming, Edited by Gerard HÜt, Addison-Wesley (informationswissenschaftl. VerÖffentlichungen)

[2] ICAO - Airportcode f. Pithiviers (France)