Amtoft T Et Al Type and Effect Systems: Behaviours for Concurrency - ICP World Scientific 1999 ISBN: 9781848160514 Source: EBOOK Subjects--Topical Terms: Computer Science