Stirling-type pulse-tube refrigerator for 4 K M.A. Etaati, R.M.M. Mattheij, A.S. Tijsseling, A.T.A.M. de Waele Eindhoven University of Technology Mathematics.