MLA

Chen, Roger Ding-Fu. Guarantees and Requirements : Implementation and Complexity Analysis of a New Model of Types for Declarative Visual Programming Languages. : Oregon State University, 1999.