1998 | ||
---|---|---|
3 | EE | Martin Reck: The Formal and Systematic Specification of Market Structures and Trading Services. HICSS (6) 1998: 374- |
1997 | ||
2 | EE | Martin Reck: Trading-Process Characteristics of Electronic Auctions. Electronic Markets 7(4): (1997) |
1993 | ||
1 | EE | Martin Reck: Formally specifying an automated trade execution system. Journal of Systems and Software 21(3): 245-252 (1993) |