"Composable, nestable, pessimistic atomic statements."

Zachary R. Anderson, David Gay (2011)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics