@Misc{Kabir:Ifaz:2018,
author={{Kabir, Ifaz}},
title={κDOT: A DOT Calculus with Mutation and Constructors},
year={2018},
publisher="UWSpace",
url={http://hdl.handle.net/10012/13953}
}