Source: https://www.cs.ru.nl/E.Poll/talks/laquso_jml.pdf