US6285591B1 - Method for Programming an Electrically Erasable and Programmable Non-Volatile Semiconductor Memory with Automatic Write-Verify Controller