Ett treff

Program derivation : the development of programs from specifications
Geoff Dromey
Bok Språk ikke angitt 1989