Augmented Post Systems: Syntax, Semantics, and Applications

Igor Sheremet
