@proceedings{ASF+SDF95, sortkey = 1995, title = {Proceedings of the Workshop on Generating Tools from Algebraic Specifications (ASF+SDF 1995)}, editor = {{\sortunder{Brand}}van den Brand, M. G. J. and van Deursen, A. and Dinesh, T. B. and Kamperman, J. F. Th. and Visser, E.}, year = 1995, month = {May}, publisher = {Technical Report P9504, Programming Research Group, University of Amsterdam}, project = {ASF+SDF}, pubcat = {workshop proceedings and techreport}, category = {}, }