BibTex format
@inproceedings{Magee:1994,
author = {Magee, JN and Dulay, N and Kramer, J},
pages = {4--14},
publisher = {IEEE Computer Society Press},
title = {A Constructive Development Environment for Parallel and Distributed Programs},
year = {1994}
}