Introduction to Linear Types
austral-lang.org