"A logical approach to control. The concept of Inner Implication."

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