Sidorowicz, Piotr Roald2006-07-282006-07-2820002000http://hdl.handle.net/10012/518application/pdf5136045 bytesapplication/pdfenCopyright: 2000, Sidorowicz, Piotr Roald. All rights reserved.Harvested from Collections CanadaA formal framework for modeling and testing memoriesDoctoral Thesis