"Certified symbolic management of financial multi-party contracts."

Patrick Bahr, Jost Berthold, Martin Elsman (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics