Text this: Monotone structure in discrete-event systems /