van de Snepscheut, J L A. Ed.
Mathematics of Program Construction Proc. 375th Ann. Groningen Univ. Int. Conf. Netherlands,1989 - Berlin Springer Verlag 1989 - 420 - Lecture notes in computer science ; 00375 .
3540513051
Mathematics
Program
Construction
681 LNCS
Mathematics of Program Construction Proc. 375th Ann. Groningen Univ. Int. Conf. Netherlands,1989 - Berlin Springer Verlag 1989 - 420 - Lecture notes in computer science ; 00375 .
3540513051
Mathematics
Program
Construction
681 LNCS