Mathematical foundations of computer science 1990 : Banská Bystrica, Czechoslovakia, August 27-31, 1990 : proceedings - Rovan, Branislav, 1947- (Springer-Verlag, 1990)