Ludek Kucera, Vera Trnková: Isomorphism Completeness for Some Algebraic Structures. FCT 1981: 218-225