A Projection and Its Implementation of a Ruby Subset to Program Algebra - R. Huo; Q. He (University of Amsterdam, 2005)