Title: A proof of Higman's embedding theorem using Britton extensions of groups
Subjects: Embedding theorems, Finite groups, Recursive functions, Turing machines