%0 Journal Article %1 journals/igpl/CengarleW95 %A Cengarle, María Victoria %A Wirsing, Martin %D 1995 %J Logic Journal of the IGPL %K dblp %N 4 %P 615-641 %T A Calculus of Higher-Order Parameterization for Algebraic Specifications. %U http://dblp.uni-trier.de/db/journals/igpl/igpl3.html#CengarleW95 %V 3

@article{journals/igpl/CengarleW95, added-at = {2008-04-04T00:00:00.000+0200}, author = {Cengarle, María Victoria and Wirsing, Martin}, biburl = {https://www.bibsonomy.org/bibtex/2689e2d24d898f68e697f639e00a97871/dblp}, date = {2008-04-04}, description = {dblp}, ee = {http://dx.doi.org/10.1093/jigpal/3.4.615}, interhash = {d9c5e98e2fecee2a79019bd630769549}, intrahash = {689e2d24d898f68e697f639e00a97871}, journal = {Logic Journal of the IGPL}, keywords = {dblp}, number = 4, pages = {615-641}, timestamp = {2008-04-05T11:33:22.000+0200}, title = {A Calculus of Higher-Order Parameterization for Algebraic Specifications.}, url = {http://dblp.uni-trier.de/db/journals/igpl/igpl3.html#CengarleW95}, volume = 3, year = 1995 }