Reference

2002
Iktara in ConCert: Realizing a Certified Grid Computing Framework from a Programmer's Perspective
Bor-Yuh Evan Chang
Senior Thesis
Also available as Technical Report (CMU-CS-02-150)