AEC research and development reports. WANL-3857-1. Study on implantable power source for circulatory support devices, v. 1, v. 2, and appendices, final report.