File:DM12.Formal.3A.Language.20180607.pdf