selected publications academic article A Review of Some Rigorous Software Design and Analysis Tools. Software Focus. 2:140-150. 2001
