BibTex format
@article{van:2018,
author = {van, Bakel S and Barbanera, F and de'Liguoro, U},
journal = {Electronic Proceedings in Theoretical Computer Science, EPTCS 189},
title = {Orchestrated compliance for session-based client/server interactions},
year = {2018}
}