Further Remark on Stably Updating Mean and Standard Deviation Estimates.
The Paradigms of Programming.
Secure Personal Computing in an Insecure Network.
Computing Connected Components on Parallel Computers.
Proving Termination with Multiset Orderings.
Self-Assessment Procedure VI: A Self-Assessment Procedure Dealing with Queueing Network Models of Computer Systems.