Rosa M. Jiménez, Fernando Orejas
An Algebraic Framework for Higher-Order Modules
FM, 1999.
@inproceedings{FM-v2-1999-JimenezO, author = "Rosa M. Jiménez and Fernando Orejas", booktitle = "{Proceedings of the World Congress on Formal Methods in the Development of Computing Systems. Volume II}", doi = "10.1007/3-540-48118-4_44", isbn = "3-540-66588-9", pages = "1778--1797", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{An Algebraic Framework for Higher-Order Modules}", volume = 1709, year = 1999, }