Rutten E.P.B.M. Formal specification of Manifold : сборник научных трудов / E. P.B.M. Rutten, F. Arbab, I. Herman, 1992. - 34 p. - Текст : непосредственный.
Rutten E.P.B.M. Minifold : сборник научных трудов / E. P.B.M. Rutten, 1992. - 41 p. - Текст : непосредственный.
Rutten E.P.B.M. Semantics of Manifold: specification in ASF + SDF and extension / E.P.B.M.Rutten,S.Thiebaux, 1992. - 99 p. - Текст : непосредственный.