Behavioral Verification of Distributed Concurrent Systems with BOBJ (2003)

by Joseph Goguen, Kai Lin
Venue:Proceedings, Conference on Quality Software