PhD Thesis (1988) by Mike Hodder.