Spahn bisimulation (history)

February 18, 2013