TY  - BOOK
AU  - PLOTKIN G. & STIRLING, C. & TOFTE,M.(ED.)
TI  - PROOF, LANGUAGE, AND INTERACTION : Essays  in Honour of Robin milner
SN  - 0000262161885
U1  - 004.1 
PB  - LONDON :MIT
KW  - COMPUTER SCIENCE : INTRODUCTION TO COMPUTER
ER  -