Paper  bibtex   

@inproceedings{Kohlhasec,
title = {JOBAD -- Interactive Mathematical Documents},
author = {Michael Kohlhase and Jana Giceva and Christoph Lange and Vyacheslav Zholudev},
url = {https://svn.omdoc.org/repos/jomdoc/doc/pubs/ai-mashup09/jobad.pdf},
crossref = {AIMashup09},
keywords = {clange-phd},
pubstate = {published},
tppubtype = {inproceedings}
}