An Integrated Refinement and Testing Method for Stream X-machines Florentin IpateMike Holcombe Pages: 67 - 91
Recognition of Polynomial Plane Curves Under Affine Transformations Jorge Mozo-FernándezCarlos Munuera Pages: 121 - 136