Programming with specifications - Luckham D (New York Springer-Verlag, 1990)
Keywords: programming