Source: https://www.cs.ucf.edu/~leavens/JML/jmldbc.pdf