Proceedings June 16 - 18, 1999, Clearwater, Florida, USA ; [shortening the path from specification] (IEEE Computer Soc., 1999)