Creating a HasCASL library

@inproceedings{pub5023,
    author = {

Cabral, Glauber
 and 

Maeder, Christian
 and 

Mossakowski, Till
 and 

Schröder, Lutz
},
    editor = {

Aldrich, Jonathan
 and 

Massa, Ricardo
},
    title = {Creating a HasCASL library},
    booktitle = {14th Brazilian Symposium on Programming Languages. Brazilian Symposium on Programming Languages (SBLP-10), befindet sich Brazilian Conference on Software: Theory and Practice, September 27-October 1, Salvador-Bahia, Brazil},
    year = {2010},
    month = {9}
}