Mathematical foundations of computer science 1990 (Lecture Notes in Computer Science, 1990)