CS U370 Notes
One way to
translate an algebraic specification into Java
.
Last updated 5 January 2009.