Title: An interpreter/simulator for testing supervisor programs
First published: 1970