"Descriptional independence and the formal definition of sequential control ..."

Tomasz Terlikowski (2003)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics