@INPROCEEDINGS {
	AUTHOR = "Nicolas Tabareau and Mario Sudholt and {\'E}ric Tanter",
	TITLE = "Aspectual Session Types",
	BOOKTITLE = "13th International Conference on Modularity (Modularity)",
	PAGES = "193-204",
	MONTH = "Apr",
	YEAR = "2014",
	ADDRESS = "Lugano, Switzerland",
	PUBLISHER = "ACM Press",
	}