%A Varol Akman
%J Journal of Logic and Computation
%T Book Review -- Peter D. Mosses, Action Semantics
%X This is a review of Action Semantics, by Peter D. Mosses, published by Cambridge University Press in 1992.
%N 4
%K programming language semantics, reasoning about actions, action semantics, denotational semantics, Ada.
%P 442-444
%V 3
%D 1993
%L cogprints489