Semantical Analysis of Logic of Actions
scientific article; zbMATH DE number 743943