Moura, H. Action notation transformations. Ph.D. Thesis. University of Glasgow, Department of Computing Science, 1993.

Languages mentioned

• ACTRESS {1989}