ProB 2.0 Developer Handbook

Jens Bendisposto and Joy Clark