Re: [Esug-list] Looking for a language/environment for Analysis of Algorithms course