Leßke, F. (1991). On constructive specifications of abstract data types using temporal logic.
Chicago-Zitierstil (17. Ausg.)Leßke, Frank. On Constructive Specifications of Abstract Data Types Using Temporal Logic. München, 1991.
MLA-Zitierstil (9. Ausg.)Leßke, Frank. On Constructive Specifications of Abstract Data Types Using Temporal Logic. 1991.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.