Extending development graphs with hiding

@article{pub1635,
    author = {

Mossakowski, Till
 and 

Autexier, Serge
 and 

Hutter, Dieter
},
    title = {Extending development graphs with hiding},
    year = {2004},
    journal = {Journal of Logic and Algebraic Programming (JLAP)},
    publisher = {Elsevier}
}