Title: Software for the control of discrete event systems - a complexity study
First published: 1988