Aspects and Data Refinement (bibtex)
	Author = {Pavel Avgustinov and Eric Bodden and Elnar Hajiyev and Oege de Moor and Neil Ongkingco and Damien Sereni and Ganesh Sittampalam and Julian Tibble},
	Booktitle = {Mathematics of Program Construction { (MPC)}},
	Editor = {Tarmo Uustalu},
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {Aspects and Data Refinement},
	Url = {},
	Year = {2006},
	Bdsk-Url-1 = {}}
Powered by bibtexbrowser