@Article{	  Padovani18,
  author	= {Luca Padovani},
  title		= {{Deadlock-Free Typestate-Oriented Programming}},
  journal	= {Programming Journal},
  year		= {2018},
  volume	= {2},
  issue		= {3},
  pages		= {article 15},
  publisher	= {AOSA},
  url		= {https://arxiv.org/pdf/1803.10670},
  doi		= {10.22152/programming-journal.org/2018/2/15}
}