Guy Tremblay. Exercises for teaching logic in a formal methods course: formalizing ERDs. In Jane Prey, Robert E. Noonan, editors, Proceedings of the 30th SIGCSE Technical Symposium on Computer Science Education, 1999, New Orleans, Louisiana, USA, March 14-28, 1999. pages 100-104, ACM, 1999. [doi]
Abstract is missing.