Centipede --- a program refinement environment. Ser. A 139, Abo Akademi (1992)

by R J R Back, J Hekanaho, K Sere