"Specification and inference of trace refinement relations."

Timos Antonopoulos, Eric Koskinen, Ton Chanh Le (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics