A case study in logical deconstruction: Formalizing J. D. Thompson's \textit{Organizations in action} in multiagent action logic
scientific article; zbMATH DE number 1040711