Rule 121.4 · Drawing a Card
A player who attempts to draw a card from a library with no cards in it loses the game the next time a player would receive priority. (This is a state-based action. See rule 704.)
Ask the judge Pro
The life counter has an AI judge that answers your play citing the exact rules. It is part of Gatewatch Pro; the rules, Oracle text and rulings stay free.