Categorical methods in computer science with aspects from topology ed. by H. Ehrig, H. Herrlich, H. J. Krewoski. - Berlin S-V 1989 - vi, 349p - Lecture notes in computer science 393 . ISBN: 3540517227 Dewey Class. No.: 005.13 / N892