ALGEBRAIC SPECIFICATIONS FOR DOMAIN THEORY

[1] BAUER FL, 1985, LECTURE NOTES COMPUT, V183

[2] ALGEBRAIC DOMAIN EQUATIONS [J]. THEORETICAL COMPUTER SCIENCE, 1983, 27 (1-2) : 167 - 196

[3] KAHN G, 1984, LECTURE NOTES COMPUT, V173, P109

[4] MOLLER B, 1985, ACTA INFORM, V22, P537

[5] MOLLER B, 1985, INFORMATIK FACHBERIC, V116, P178

[6] NICKL F, MIP8815 U PASS FAK M

[7] SCOTT DS, 1982, LECT NOTES COMPUT SC, V140, P577

[8] SCOTT DS, 1981, PRG19 OXF COMP LAB T

[9] WINSKEL G, USING INFORMATION SY

[1] BAUER FL, 1985, LECTURE NOTES COMPUT, V183

[2] ALGEBRAIC DOMAIN EQUATIONS [J]. THEORETICAL COMPUTER SCIENCE, 1983, 27 (1-2) : 167 - 196

[3] KAHN G, 1984, LECTURE NOTES COMPUT, V173, P109

[4] MOLLER B, 1985, ACTA INFORM, V22, P537

[5] MOLLER B, 1985, INFORMATIK FACHBERIC, V116, P178

[6] NICKL F, MIP8815 U PASS FAK M

[7] SCOTT DS, 1982, LECT NOTES COMPUT SC, V140, P577

[8] SCOTT DS, 1981, PRG19 OXF COMP LAB T

[9] WINSKEL G, USING INFORMATION SY