A Method of Program Refinement (1993)

Cached

Download Links

by Jim Grundy , Jim Grundy
Citations:9 - 0 self