1
by Abadi, Martin
Published 1997
Springer Berlin Heidelberg
Subjects: '; ...Software engineering...

2
by Abadi, Martin, Cardelli, Luca
Published 1996
Springer New York
Subjects: '; ...Software engineering...