@inproceedings{SIGAda-2001-FaginME,
	author        = "Barry S. Fagin and Laurence D. Merkle and Thomas W. Eggers",
	booktitle     = "{Proceedings ACM SIGAda Annual International Conference (SIGAda 2001)}",
	doi           = "10.1145/507574.507592",
	pages         = "73--78",
	publisher     = "{ACM}",
	title         = "{Teaching computer science with robotics using Ada/Mindstorms 2.0}",
	year          = 2001,
}