Unwinding and inference control (1984)

by J A Goguen, J Meseguer
Venue:In: Proceedings of the 1984 IEEE Symposium on Security and Privacy, IEEE Computer Society