Carlos Herrero, Javier Oliver. Opject-Oriented Specification with the Parallel Multi-Label-Selective lambda-Calculus. In Jan Pavelka, Gerard Tel, Miroslav Bartosek, editors, SOFSEM 99, Theory and Practice of Informatics, 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27 - December 4, 1999, Proceedings. Volume 1725 of Lecture Notes in Computer Science, pages 395-403, Springer, 1999. [doi]
@inproceedings{HerreroO99,
title = {Opject-Oriented Specification with the Parallel Multi-Label-Selective lambda-Calculus},
author = {Carlos Herrero and Javier Oliver},
year = {1999},
url = {http://link.springer.de/link/service/series/0558/bibs/1725/17250395.htm},
researchr = {https://researchr.org/publication/HerreroO99},
cites = {0},
citedby = {0},
pages = {395-403},
booktitle = {SOFSEM 99, Theory and Practice of Informatics, 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27 - December 4, 1999, Proceedings},
editor = {Jan Pavelka and Gerard Tel and Miroslav Bartosek},
volume = {1725},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-66694-X},
}