Rohde, H. K. Formal Aspects of Polyvariant Specialization. BRICS 2005, 12.