Formal specification of multicomputers | Publicación