James C. King
IBM T.J. Watson Research Center, Yorktown Heights, NY
General purpose tools for system simulation
ANSS '78 Proceedings of the 11th annual symposium on Simulation
Some remarks on the use of abstract specifications for operating systems
ACM SIGSOFT Software Engineering Notes