Ptolemy: A language with quantified, typed events (2008)

by H Rajan, G T Leavens
Venue:in Proceedings of the 22nd European Conference on Object-oriented Programming (ECOOP 2008), ser. Lecture Notes in Computer Science