4.Computing Curricula 2001 VolumeⅡ computer Science[].The joint Task Force on Co mputing Curricula IEEE Co mputer Society Asociation for Computing MachineryIronman Draft.2001
4Tafliovich A,Hehner E C R.Quantum predicative programming.Mathematics of Program Construction[Z].Heidelberg,Germany:Springer Berlin Heidelberg,2006:433-454.
