Hossein Saiedian. Towards more formalism in software engineering education. In Bruce J. Klein, Cary Laxer, Frank H. Young, editors, Proceedings of the 24th SIGCSE Technical Symposium on Computer Science Education, 1993, Indianapolis, Indiana, USA, February 18-19, 1993. pages 193-197, ACM, 1993. [doi]
Abstract is missing.