"Engineering UToPiA - Formal Semantics for CML."

Jim Woodcock (2014)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics