1
Relational data model: a definition and its formalization.
Book
Other Personal Name(s): ...Lamersdorf, W....
2
Specification of Pascal/R : The formal semantic specification using VDM.
Book
Other Personal Name(s): ...Lamersdorf, W....
3
Specification of Pascal/R : The semantic specification method VDM.
Book
Other Personal Name(s): ...Lamersdorf, W....