@inproceedings{curington1983iop,
	title = {IOP-UNI Applications},
	author = {Curington, Ian},
	booktitle = {CHECKPOINT},
	volume = {1},
	number = {4},
	publisher = {Floating Point Systems},
	year = {1983},
}