Unpublished
1.聽G. Di Marzo Serugendo, M. Oriol:聽"Let's Try the I'am Feeling Lucky Approach", 2003. ()
2.聽G. Di Marzo Serugendo,聽"Refinement Patterns for System Design", Draft, December 2000.
3.聽G. Di Marzo Serugendo,聽"A Temporal Logic for CO-OPN/2", Draft. March 2000.