Stanford Pascal Verifier user manual (1979)

by D C Luckham, S M German, F W Von Henke, R A Karp, P W Milne, D C Oppen, W Polak, W L Scherlis