Books on Computational Semantics by Patrick Blackburn & Johan Bos
Working with Discourse Representation Theory
An advanced Course in Computational Semantics
Chapter 2. Building Discourse Representations.

Here we consider different techniques for constructing DRSs for natural language sentences: DRS-threading, Lambda-DRT (making use of the lambda calculus technology developed in Volume I), and hole semantics (building underspecified DRSs using the methods of Chapter 3 in Volume I).