THETA reference manual (1995)

by B Liskov, D Curtis, M Day, S Ghemawat, R Gruber, P Johnson, A C Myers