On non-deterministic supervisory control,” (1996)

by M Fabian, B Lennartson
Venue:Proceedings of the 35th IEEE Decision and Control,