Timed DILL : digital logic in LOTOS /
He, Ji.
Turner, Kenneth J.
University of Stirling.Department of Computing Science and Mathematics.
Stirling : Dept. of Computing Science and Mathematics, University of Stirling,
1998.
Includes bibliographical references.
Electronic digital computers
LOTOS (Computer program language)