A Structured Specification of a Hierarchical Operating System (1975)

by T Bredt, A Saxena
Venue:ACM Proc. Int. Conf. £!! Reliable Software .!.Q