By Nielson F.   Nielson H.R.   in Theoretical Computer Science

ISSN:0304-3975|155|1|179-219

Elsevier‎(1996)‎

Access to resources Favorite 15.932789

By Nielson F.   Hansen R.R.   Nielson H.R.   in Science of Computer Programming

ISSN:0167-6423|47|2|145-175

Elsevier‎(2003)‎

Access to resources Favorite 11.152334