@string{TCS = "Theoretical Computer Science"}

@article{Kris94,
        author = "Krishnan, P.",
        title = "A semantic characterisation for faults in replicated systems",
        journal = TCS,
        volume = 128,
	number = "1-2", 
        year = 1994,
	month = jun,
        pages = "159-177",
        }

@book{Miln89,
        author = "Milner, R.",
        title = "Communication and concurrency",
        year = 1989,
        publisher = "Prentice Hall",
        address = "Hemel Hempstead, United Kingdom",
        edition = "1st",
        }

@book{Zobe04,
        author = "Zobel, J.",
        title = "Writing for Computer Science: the Art of Effective
                 Communication",
        year = 2004,
        publisher = "Springer",
	address = "Singapore",
        edition = "Second",
        }

@incollection{Wing96,
	author = "Wing, J.M.", 
	title = "Hints to specifiers",
	editor = "Dean, C.N. and Hinchey, M.G.",
	booktitle = "Teaching and learning formal methods", 
	publisher = "Academic Press",
	address = "London",
	year = 1996, 
	pages = "57-78",
	}

@inproceedings{Leve00,
	author = {Nancy Leveson},
	title = {Completeness in formal specification language design for
                 process-control systems},
	booktitle = {Proceedings of the third workshop on Formal methods in
                     software practice},
	year = {2000},
        month = aug,
	pages = {75--87},
	address = {Portland, Oregon, United States},
	publisher = {ACM Press},
        }





@techreport{Chen:99,
	author="Y. Chen and  S. Hazelhurst and  V. Galpin and  
                R. Mateer and C. Mueller",
	title ="Development of a decentralised virtual service 
                redirector for {I}nternet applications",
	institution = "Department of Computer Science, University of the
                       Witwatersrand",
	year = 1999,
	month = dec,
	type  = "Technical Report",
	number = "TR-Wits-CS-1999-10",
	url = "http://www.cs.wits.ac.za/research/pubs.html",
	retrieved = "13 January 2004",
	}

@phdthesis{Galp98,
	author = "Galpin, V.C.",
	title = "Equivalence semantics for concurrency: comparison
	         and application", 
        type = "{T}echnical {R}eport {ECS-LFCS-98-397}, {PhD} {T}hesis", 
	school = "Department of Computer Science, University of
                  Edinburgh", 
	year = 1998,
        url =
"http://www.dcs.ed.ac.uk/lfcsreps/EXPORT/98/ECS-LFCS-98-397/index.html",
        retrieved = "28 January 2004",
        }

@manual{Brun96,
	author = "Bruns, G.",
	title = "The Value-Passing Translator User Guide",
        year = 1996,
	organization = "Bell Labs, Lucent Technologies",
	month = dec,
	}

@misc{Galp02,
	author = "Vashti Galpin",
	title = "{IRM} resources",
	year = 2003,
	url = "http://www.cs.wits.ac.za/~vashti/irm-res.html",
	institution = "School of Computer Science, University of the
                       Witwatersrand",
	retrieved = "13 January 2004",
	}

@misc{Chen03,
	author = "P.-Y. Chen",
	title = "Persistence, personality type and learning style of
                 computer science students",
	year = 2003,
	note = "Honours Research Report, School of Computer Science,
        University of the Witwatersrand, Johannesburg, South Africa",
	}