@Unpublished{Pop70,
    Author       = "Popplestone, R.J.",
    Year         = "1970",
    Title        = "{Freddy, Things and Sets}",
    Comment      = "TPTPRef, See MRS72"
}