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