Modelo de concurrencia de ADA: implementación y sus implicaciones en el interfaz con el entorno. - Fernando Pérez 001 (1991)

Modeling Multithreaded Object Oriented Applications for Rollback Recovery. - Carlos Hernández-López; Fernando Pérez Costoya (Parallel and Distributed Computing and Networks, 2005)