Back
@techreport{KuPi97b, author = {Philipp W. Kutter and Alfonso Pierantonio}, title = {Montages: Modular Specifications of Programming Languages}, institution = {Universita di L Aquila}, month = {Jan}, year = {1997} }