External resources for historical preservation
(important resources that are sometimes hard to find)
Optimal Reduction
Lévy
Denotational Semantics
Scott
Lamdascope
Oostrom, Looij