Development methods for computer programs including a notion of interference (1981)

by C B Jones