@misc{dubna-2017,
	title = {{XVII Летняя Школа "Современная математика"}},
	year = 2017,
	month = may,
	url = {https://www.mccme.ru/dubna/2017}
}

@misc{softwarefoundations,
	title = {{Software Foundations}},
	year = {2021},
	month = may,
	url = {https://softwarefoundations.cis.upenn.edu}
}

@book{algebraofprogramming,
    author = {Bird, Richard and de Moor, Oege},
    title = {Algebra of Programming},
    year = {1997},
    isbn = {013507245X},
    publisher = {Prentice-Hall, Inc.},
    address = {USA}
}