Building BSP programs using the refinement calculus. External (1996)

by D B Skillicorn