1
by Abadi, Martin, Cardelli, Luca
Published 1996
Springer New York
Subjects: '; ...Computer logic...