Coalgebraic minimization of HD-automata for the \(\pi\)-calculus using polymorphic types
scientific article; zbMATH DE number 2153164