BibTex format
@techreport{Roe:2003,
author = {Roe, D and Broda, K and Russo, A},
publisher = {Imperial College of Science, Technology and Medicine, Department of Computing},
title = {Mapping UML models incorporating OCL constraints into Object-Z},
year = {2003}
}