1. Software behavior specification with triggering logic;Sernadas,1982
2. Infolog: an integrated model of data and processes;Sernadas,1983
3. Capturing knowledge about the organization dynamics;Sernadas,1985
4. Conceptual modelling for knowledge-based DSS development;Sernadas,1987
5. Temporal aspects of logical procedure definition;Sernadas;Information Systems,1980