An operating system model for dynamic linking with a single level store : model description in Prolog by Ken-ichi Maeda. Published by Artificial Intelligence Applications Institute, University of Edinburgh in 1990. Publication and catalogue information, links to buy online and reader comments.