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