Ward, Sandra (1996) Implementation of action semantics in coq. Master of Science thesis, Dublin City University.