Testování algebraických specifikací - Sojka, Petr, 1963- (1986)