Cofibrations and the realization of non deterministic automata, Cahiers de Topologie et G'eometrie Diff'erentielle 24 (1991)

by S Kahrs, -rewriting