reformatted somewhat and added information about source code availability