An overview of HP-SL (1991)

by S Bear
Venue:In Prehn, S., and Toetenel, W.J. (Eds.), VDM '91, Formal Software Development Methods, Springer-Verlag, Lecture Notes in Computer Science 551