Specification of a program derivation editor (1994)

by M Butler, E Hedman, P Nilsson, R Ruksenas, M Wald'en, Y Zhao
Venue:Series A--157, Reports on Computer Science and Mathematics, Abo Akademi