Algebraické specifikace - Škarvada, Libor, 1961- (1986)