I was interested in converting 12 V to 3.3 V at 15 A and so I stripped down the about 1995 made (in Taiwan) Seventeam PC Power Supply Buck Converter. Here are some photos and schematics of it.
12 to 3.3 V 15 A Buck Converter by Seventeam Electronics Ltd