@inproceedings{Lucas97, Author = "S. Lucas", Title = "Efficient Strong Sequentiality Using Replacement Restrictions", Booktitle = "Proc. of the XXIV Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM'95", Editor = "K.G. Jeffery and F. Plasil", Series = "Lecture Notes in Computer Science", Volume = "1338", Pages = "489-496", Publisher = "Springer-Verlag, Berlin", Year = "1997" }