The specification of a generic multicomputer using Lotos | Publicación