@book{35926,
	author = {55},
	title = {THE  LOGICAAL   DESIGN  OF  OPERATION  SYSTEMS}
}