@phdthesis{Prosser1996,
  title = {Supervisor synthesis for partially observed discrete-event systems},
  year = {1996},
  school = {Drexel University},
  type = {phd},
  author = {Prosser, Joseph H.}
}