John-Fitzgerald
full-name: John Fitzgerald
type: Person

Cliff-Jones
full-name: Cliff Jones
type: Person

http://courseware.rkbexplorer.com/id/isbn/0521623480
has-isbn-number: 0521623480
has-author: Cliff-Jones
has-author: http://courseware.rkbexplorer.com/id/person/Dines-Bj
has-author: John-Fitzgerald
has-author: Peter-G-Larsen
has-date: http://www.aktors.org/ontology/date#1998
has-title: Modelling Systems : Practical Tools and Techniques in Software Development
published-by: Cambridge-University-Press
type: Book-Reference

Peter-G-Larsen
full-name: Peter Gorm Larsen
type: Person

http://courseware.rkbexplorer.com/id/person/Dines-Bj
full-name: Dines Bjørner
type: Person

Cambridge-University-Press
has-title: Cambridge-University-Press
type: Publishing-House

http://www.aktors.org/ontology/date#1998
has-pretty-name: 1998
year-of: 1998
type: Calendar-Date