Lambda Expressions in CASL Architectural Specifications

@inproceedings{pub5829,
    author = {

Codescu, Mihai
},
    editor = {

Mossakowski, Till
 and 

Kreowski, Hans-Jörg
},
    title = {Lambda Expressions in CASL Architectural Specifications},
    booktitle = {Recent Trends in Algebraic Development Techniques. International Workshop on Algebraic Development Techniques (WADT-10), befindet sich 20th, July 1-4, Schloss Etelsen, Germany},
    series = {LNCS},
    year = {2012},
    volume = {7137},
    publisher = {Springer}
}