ULTRA - a logic transaction programming language - Wichert, Carl-Alexander (2000)
Passau, Univ., Diss., 2000