'Columbia University Libraries/Information Services'
Doi
Abstract
This document is an implementor's manual for the MARVEL software development environment. It discusses the technical details of the system, rather than providing a description of the system. It is intended for those people doing actual development work on MARVEL. References are provides throughout the manual for background information