Tarditi, David; Harper, Robert; Morrisett, John Gregory; Cheng, Perry; Stone, Christopher; Lee, Peter(Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation, 1996)Link to Published Version
Lu, Guo-Quan; Aziz, Michael; Nygren, Eric; Turnbull, David; White, C. Woody(Materials Research Society Symposia Proceedings, 1988)Link to Published Version