Objectionary

EO Programming Language, Its Objects, and 𝜑-Calculus