Petra Malik: From supervisory control to nonblocking controllers for discrete event systems. University of Kaiserslautern 2003, ISBN 3-936890-29-3, 1-143