@book{Knec24,
	address = {Aachen, Germany},
	author = {Knecht, Markus},
	month = {oct},
	publisher = {Shaker},
	title = {A Robust Smart Contract Approach based on Substructural Types and On-Chain Code Verification},
	year = {2024}
}