An Integrated Virtual Environment for Active and Collaborative e-Learning in Theory of Computation | IEEE Journals & Magazine | IEEE Xplore