"Generic constructions for behavioral specifications."

Marius Petria (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics