Opject-Oriented Specification with the Parallel Multi-Label-Selective lambda-Calculus.

Carlos Herrero, Javier Oliver

Browse the full SOFSEM paper archive.