@book{13239,
	author = {Samuel Joseph Waters},
	title = {Systems specification},
	publisher = {: NCC Publications},
	year = {, 1979.},
	address = {Manchester }
}