1. A sequential real-time refinement calculus

   • Ian J. Hayes
   • Mark Utting

   Original articles Pages: 385 - 448

2. Synchronized extension systems

   • Ferucio Laurenţiu Ţiplea
   • Erkki Mäkinen
   • Corina Apachite

   Original articles Pages: 449 - 465