BibTeX
@TECHREPORT{
         Sajovic2016Oco,
       author = "Ziga Sajovic and Martin Vuk",
       title = "Operational calculus on programming spaces",
       year = "2016",
       number = "1610.07690",
       institution = "arXiv",
       ad_area = "Program analysis",
       ad_tools = "dCpp",
       ad_theotech = "Operational calculus",
       url = "http://arxiv.org/abs/1610.07690"
}