R. T. Boute

Distinguishing Sets for Optimal State Identification in Checking Experiments

R. T. Boute, 1974, IEEE Transactions on Computers.

Optimal and Near-Optimal Checking Experiments for Output Faults in Sequential Machines

R. T. Boute, R. Boute, 1974, IEEE Transactions on Computers.

Functional languages and their application to the description of digital systems

R. T. Boute, 1984 .

On the shortcomings of the axiomatic approach as presently used in computer science

R. T. Boute, R. Boute, 1988, [Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools.