Hermenegildo, Manuel V., Puebla Sánchez, Alvaro Germán and Bueno Carrillo, Francisco (1998). Using global analysis, partial specifications, and an extensible assertion language for program validation and debugging. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, Spain.