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

by B S Hansen, J U Toft
Venue:In Mosses [23