Knispel, Ray E.2012-12-202012-12-201977http://hdl.handle.net/1993/14046[iv], 236 leaves :engAspects of sequential machine synthesisdoctoral thesis