@Book{Con71,
    Author       = "Conway, J.",
    Year         = "1971",
    Title        = "{Regular Algebra and Finite Machines}",
    Publisher    = "Chapman and Hall",
    Comment      = "TPTPRef"
}