@book{340867,
	author = {Rohit Gheyi},
	title = {An idiom to represent data types in Alloy},
	year = {2017},
	note = {CJ0029}
}