مسائل المنتخبه (Articles Of Islamic Acts) - الخوئي، السيد أبوالقاسم - الصفحة ٣٤٥ - THINGS WHICH MAKE A FAST VOID

wake up before the Azan fordawn prayers, and has determined that he will take the bath after waking up. and sleeps with this determination, and sleeps till the Azan for prayers his fast is in order.And the same order applies to a person, who is habituated to waking up before the Azan for dawn prayer,and there is also a probability of his waking up.
١٦٣٧. If a person is ceremoniously unclean in the night d the month of Ramazan, and knows it, or it is probable, that ii he goes to sleep he will wake up before theAzan for dawn prayers and in case he is oblivious of the fact Qat after waking up he should take bath, and if he goes to sleep and remains asleep till the Azan for dawnprayers, the qaza of the fast becomes obligatory on him on the basis of precaution.
١٦٣٨. If a person is ceremoniously unclean in the night of the month of Ramazan and is sure or it is probable that if he goes to sleep he will wake up before theAzan for dawn prayer. And if he does not wish ta take bath after waking up, or is undecided as to whether or not he should take the bath, his fast is void, if he goes tosleep and does not wake up the qaza and atonement are both obligatory on him.
١٦٣٩. If a ceremonially unclean person sleeps and wakes up during the night of Ramazan and is certain or there is a probability of the fact that if he goes to sleepagain, he will wake up before the azan for dawn prayers, and he is also fully determined to take a ceremonial bath after waking up. and goes to sleep, but does not wake uptill the Azan for dawn prayers. he should observe the qaza of the fast of that day. And if after the second time he goes to sleep for the third time and does not wake up tillthe azan for dawn prayers it is obligatory on him to observe the qaza fast of that day and also make an atonement
١٦٤٠. When a person becomes mohtalim during sleep the first, second and third sleep means the sleep after his waking up, and