S. White. A pragmatic formal method (PFM) for computer system definition and execution. In Proceedings of the Third International Workshop on Rapid System Prototyping, RSP 1992, Research Triangle Park, North Carolina, USA, June 23-15, 1992. pages 112-125, IEEE, 1992. [doi]
Abstract is missing.