(MAL) A microprogramming language with high-level syntax, used in the reference below.
See also mic-1, mac-1.
[Structured Computer Organization, A.S. Tanenbaum, 3rd ed, P-H 1989, Sect 4.4].