User guide + Implementation abstract.