Solution of the Word Problem for Certain Types of Groups — doctoral dissertation by John Britton