The connection between applicative and procedural languages in an integrated software development and verification system - Olthoff, Walter (1987)