id: 70181578 dt: a an: 70181578 au: Aldrich, Jonathan ti: Using types to enforce architectural structure so: WICSA, 211-220 (2008). py: 2008 pu: la: EN cc: ut: ci: li: http://doi.ieeecomputersociety.org/10.1109/WICSA.2008.48