M. W. Shields An Acceptance Vector Semantics for Path Programs. 285-316 1999 40 Fundam. Inform. 2-3 db/journals/fuin/fuin40.html#Shields99