NPL[2]

Burstall, 1977

NPL was a predecessor of Hope. It had pattern matching and set comprehensions.