TY  - BOOK
AU  - Amtoft T Et Al
TI  - Type and Effect Systems: Behaviours for Concurrency
SN  - 9781848160514
PB  - ICP
KW  - Computer Science
UR  - https://www.worldscientific.com/worldscibooks/10.1142/p132#t=toc
ER  -