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