Obejct-Oriented Specification with the Parallel Multi-Label-Selective lambda calculus

Herrero Cucó Carlos, Oliver Villarroya Francisco Javier

1999

Lecture Notes in Computer Science