An extension of the program derivation format (1998)

by A J M van Gasteren, A Bijlsma
Venue:Programming Concepts and Methods (PROCOMET ’98). Chapman