@book{Misra2023Jan,
    author = {Misra, Jayadev},
    title = {{Effective Theories in Programming Practice}},
    journal = {ACM Books},
    volume = {47},
    year = {2023},
    month = jan,
    isbn = {978-1-4503-9973-9},
    publisher = {Association for Computing Machinery},
    address = {New York, NY, USA},
    language = {english},
    doi = {10.1145/3568325}
}

@misc{github-software-design-in-haskell,
	author = {github/graninas},
	title = {{software-design-in-haskell}},
	journal = {GitHub},
	year = {2023},
	month = apr,
	language = {english},
	note = {[Online; accessed 21. Apr. 2023]},
	url = {https://github.com/graninas/software-design-in-haskell}
}

@misc{github-awesome-haskell,
	author = {github/albohlabs},
	title = {{awesome-haskell}},
	journal = {GitHub},
	year = {2023},
	month = apr,
	language = {english},
	note = {[Online; accessed 21. Apr. 2023]},
	url = {https://github.com/albohlabs/awesome-haskell}
}

@misc{github-plt,
	author = {github/steshaw},
	title = {{plt}},
	journal = {GitHub},
	year = {2023},
	month = apr,
	language = {english},
	note = {[Online; accessed 21. Apr. 2023]},
	url = {https://github.com/steshaw/plt}
}

@misc{plf-agda,
	title = {{Programming Language Foundations in Agda {\textendash} Table of Contents}},
	year = {2023},
	month = apr,
	language = {english},
	note = {[Online; accessed 21. Apr. 2023; nice reference]},
	url = {https://plfa.github.io}
}