@ARTICLE {
	AUTHOR = "Benjamin Lucien Kaminski and Joost-Pieter Katoen and Christoph Matheja and Federico Olmedo",
	TITLE ="Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms",
	JOURNAL = "Journal of the ACM (JACM)",
	VOLUME = "65",
	NUMBER = "5",
	PAGES = "30:1-30:68",
	MONTH = "Aug",
	YEAR = "2018",
	PUBLISHER = "ACM Press",
	ADDRESS = "New York, NY, USA",
	ISSN = "0004-5411"
	}