<programming> (After Zermelo Fränkel set theory). David Turner's name for list comprehension.
(1995-03-27)
Try this search on Wikipedia, OneLook, Google