An Equational Specification for the Scheme Language (0)

by M d’Amorim, G Roşu
Venue:Journal of Universal Computer Science