Acknowledgements

This example was implemented as a project for an independent study course at the Computer Science department at Purdue University. Our thanks to Professor Gene Spafford for his help.