Howard Barringer David E. Rydeheard Modelling Evolvable Systems: A Temporal Logic View. 195-228 2005 conf/birthday/2005gabbay1 We Will Show Them! (1) db/conf/birthday/Gabbay1.html#BarringerR05