@inproceedings{ef949367a19e47fa802dfca0372946a9,
title = "An extension of the program derivation format",
author = "{Gasteren, van}, A.J.M. and A. Bijlsma",
year = "1998",
language = "English",
isbn = "0-412-83760-9",
series = "IFIP Conference Proceedings",
publisher = "Chapman & Hall",
pages = "167--185",
editor = "D. Gries and {Roever, de}, W.P.",
booktitle = "Programming Concepts and Methods (Proceedings IFIP TC2/WG2.2,2.3 International Conference, PROCOMET'98, Shelter Island NY, USA, June 8-12, 1998)",
address = "United Kingdom",
}