Revision History: The Basic Concepts of Snapper
2026-11-03
Initial version
2026-08-31
Revised abstract