Abstract State Machines: a unifying view of models of computation and of system design frameworks

We capture the principal models of computation and specification in the literature by a uniform set of transparent mathematical descriptions which-starting from scratch-provide the conceptual basis for a comparative study.1