looks like standard DDR3-1333 CL9 stuff to me. you could very likely buy whichever DDR3-1333 CL9 is on sale at the cheapest price in either 4G or 8G capacity, insert it, and not worry about it. as long as you're not trying to overclock it or do something unusual, it should work just fine and the motherboard should auto-set the most compatible settings.
in a friend's laptop, I mixed a 2G DDR3-1333 with a 4G DDR3-1600 and it automatically combined them to 6G and works fine (presumably both are set to 1333 as the common speed)
in my own laptop, I mixed a 4G 1333 Kingston (4yrs old) with a 4G 1333 Mushkin (new, with "Apple" sticker) and my Dell works perfectly, showing 8G total