Dürr, Eugène, 		Goldsack, Stephen, AND 		Katwijk, Jan.
" Real Time Formal Specification using VDM++" <em>Proceedings of the Brazilian Symposium on Software Engineering (SBES)</em> [Online], (14 October 1996)