Aspects and Data Refinement (bibtex)
@inproceedings{MPCAspects,
	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 = {http://www.bodden.de/pubs/abh+06aspects-and.pdf},
	Year = {2006},
	Bdsk-Url-1 = {http://www.bodden.de/pubs/abh+06aspects-and.pdf}}
Powered by bibtexbrowser