| |
| 1982 | ||
|---|---|---|
| 2 | Kalman Balogh, Zsuzsa Farkas, E. Sántáné-Tóth, Péter Szeredi: Software Development in LDM. Conference on Operating Systems 1982: 56-83 | |
| 1 | Zsuzsa Farkas, Péter Szeredi, E. Sántáné-Tóth: LDM: A Program Specification Support System. ICLP 1982: 123-128 | |
| 1 | Kalman Balogh | [2] |
| 2 | Zsuzsa Farkas | [1] [2] |
| 3 | Péter Szeredi | [1] [2] |