The Idea Processor, or “What is the use case?”

Point-Free Logic Programming

Fearless extensibility: Extending THINK Pascal