An Equational Specification for the Scheme Language (0)

by M d’Amorim, G Rosu
Venue:Journal of Universal Computer Science