Media type: E-Article Title: Semantics and Algebraic Specification: Converting between Combinatory Reduction Systems and Big Step Semantics Contributor: Gottliebsen, Hanne; Rose, Kristoffer H. imprint: Springer Berlin Heidelberg, 2009 Published in: Semantics and Algebraic Specification Language: Not determined DOI: 10.1007/978-3-642-04164-8_15 ISSN: 0302-9743; 1611-3349 Origination: Footnote: