Marie Demlová Jiri Demel Václav Koubek Several algorithms for finite algebras. 99-104 1979 FCT db/conf/fct/fct79.html#DemlovaDK79