The Free On-line Dictionary of Computing (30 December 2018):

Mic-1

   Microprogramming language, used in Andrew Tanenbaum's book.

   See Mac-1.

   [Structured Computer Organization, A.S. Tanenbaum, 3rd ed, P-H
   1989, Sect 4.4, 4.5].