Ada/TL specification and verification of a distributed computation. - William J. Hankley; Peikun Tsai (SAC, 1992)

A Verification Helper for Task Specifications. - William J. Hankley; Peikun Tsai (SAC, 1993)