A functional model for describing and reasoning about time behaviour of computing systems Paul CaspiNicolas Halbwachs OriginalPaper Pages: 595 - 627
Non-deterministic data types: models and implementations Tobias Nipkow OriginalPaper Pages: 629 - 661
Minimal coverings for incompletely specified sequential machines B. ReuschW. Merzenich OriginalPaper Pages: 663 - 678