The formal specification of ANDF, an application of action semantics (1994)

by B S Hansen, J U Toft
Venue:BRICS, Dept. of Computer Science, Univ. of Aarhus