Displaying similar documents to “Cofibrations and the realization of non-deterministic automata”