Joseph J. Johovich
National Radio Astrnomy Observatory, P.O. Box O, Socorro, NM
Systems design with ADA.
A software design method for real-time systems
Communications of the ACM
Stanford Pascal Verifier user manual