@inproceedings{ITiCSE-1998-TenEyckSG,
	author        = "James TenEyck and G. Sampath and Richard Goldstone",
	booktitle     = "{Proceedings of the Sixth Annual Conference on the Teaching of Computing and Third Conference on Innovation and Technology in Computer Science Education}",
	doi           = "10.1145/282991.283552",
	isbn          = "1-58113-000-7",
	pages         = "232--235",
	publisher     = "{ACM}",
	title         = "{Specification of an algorithm design system}",
	year          = 1998,
}