The Step Failure Semantics

@inproceedings{Taubner1987TheSF,
  title={The Step Failure Semantics},
  author={Dirk Taubner and Walter Vogler},
  booktitle={STACS},
  year={1987}
}