TY - BOOK AU - Ornela Dardha TI - Type Systems for Distributed Programs: Components and Sessions SN - 9789462392045 PB - Springer UR - https://link.springer.com/openurl?genre=book&isbn=978-94-6239-204-5 ER -