Theory and Practice of Language Implementation
University of Oregon