On constructive specifications of abstract data types using temporal logic - Leßke, Frank (1991)