A general theory of action languages
scientific article; zbMATH DE number 1283608
scientific article