A UTP semantics for \textsf{Circus}
scientific article; zbMATH DE number 5558112