OBNB doesn't sell books, but you may be able to find a copy at one of these websites:
On developing and verifying design abstractions for reliable concurrent programming in Ada by Alan Burns. Published by University of Newcastle upon Tyne in 2001. Publication and catalogue information, links to buy online and reader comments.