Losberger - Safe Event Structures

Why We Do Things Properly