1
Published 1991
Springer Berlin Heidelberg
Subjects: ...Computer science / Mathematics...

2
by Broy, Manfred
Published 1995
Springer Berlin Heidelberg
Subjects: ...Mathematical Logic and Formal Languages...