Algoritmy pro izomorfismus grafů - Veselý, Petr (1987)