topical media & game development
As further reading with respect to the verification of programs, I recommend
[AptO] and [Dahl92].
An assertion logic for a parallel object-oriented language
is presented in [AmBo93].
You may not copy or print any of this material without explicit permission of the author or the publisher.
In case of other copyright issues, contact the author.