It's probably not a good idea to do it in SQL - this kind of thing is normally better done in the presentation software, because it can tell what type of format the user expects, if nothing else in terms of month names, which your indicated format indicates.
But, if you must do it, then I would suggest to write a stored procedure (or better a user function) to do the conversion, because it is going to require a couple of function calls. The easiest way to do it is to convert the DateTime value to a VARCHAR then use the SUBSTRING function repeatedly to get exactly the format you want - there is not standard format that shows the way you want.
I would suggest you start with
CONVERT(VARCHAR(26), dateValue, 109)
As this gives you all the bits you need, but you may find a more suitable format style here:
http://www.sql-server-helper.com/tips/date-formats.aspx[
^]
Style 109 will give you
Jan 01 2013 12:00:00.000AM
So it's a relatively trivial matter to carve out the bits you want with SUBSTRING and reorder them into a result string.
As I said, it's better done in the presentation software.