Specification and design of inDETER-1 by E.H. Saaman