Formal Specification of a Distributed Memory System using LOTOS. MS Thesis. Monterrey Institute of technology, Mexico City. College of Computer Science. 1996.

 Ultraviolet Radiation Measurer.BS in Electronic Engineering Thesis. Metropolitan Autonomous University. 1994.