Cook the semolina in the boiling milk, and when thick and smooth, add 1 oz. of butter, and 1 of grated cheese. Remove from the fire and add the eggs, mixing thoroughly. Then pour the mixture on a dish in a layer about ½ an inch thick. Let the mixture stand till cold, and then, with the fingers, roll into gnocchi of the same size and shape as almonds. Put these in a pie dish or baking dish with the 4 ozs. of melted butter, the cheese, and season with salt. Cook in a moderate oven for 30 to 35 minutes.