UoM-EECS402 / Project4 / p4specs.pdf