A wide-spectrum language to support program specification and development (1978)sci-hub.io16 pointsbrudgers9 years ago