APA

State University. Dept. of Computer Science, O., Erwig, M., & Ren, D. (2002). An update calculus for expressing type-safe program updates. : Corvallis, OR : Oregon State University, Dept. of Computer Science.