Machine generated authority record.

Work cat.: (UQROO)62609: Suzuki, Kenji. editor. 125157, Formal Techniques for Networked and Distributed Systems FORTE 2008