Tarlecki, A
Mathematical foundations of computer science, 1991 - Berlin Springer-Verlag - Lecture notes in computer science ; 00520 .
681 LNCS
Mathematical foundations of computer science, 1991 - Berlin Springer-Verlag - Lecture notes in computer science ; 00520 .
681 LNCS