Mitigating Memory-Safety Bugs with Efficient Out-of-Process Integrity Checking

Memory-Efficient Search Trees for Database Management Systems

Scribe: A document specification language and its compiler (1980)