A survey of resource allocation methods in optimizing microcode compilers. - Robert A. Mueller; Michael R. Duda; Stephen M. O'Haire (MICRO, 1984)